(*
 * Copyright (C) 2011  INRIA and Microsoft Corporation
 *)

val abstract : (Expr.T.expr -> bool) -> Expr.T.expr -> Expr.T.expr;;
